A complete axiom set for Hansson's deontic logic DSDL2
نویسندگان
چکیده
منابع مشابه
A logic for deontic dilemmas
The possibility of deontic dilemmas poses a significant problem for deontic logic. Here I review some proposals to resolve this problem, and then offer a new account. This is a simple modification of standard deontic logic that enables the system to accommodate deontic dilemmas without inconsistency and without deontic explosion, while at the same time accounting for the range of genuinely vali...
متن کاملDeontic Logic
The chapter is organized in ten sections, each of them presenting a fundamental issue or problem in the area of deontic logic. Section 10.2 is about the issue of norms and truth, i.e., whether norms should have truth value. It opposes deontic logic viewed as a logic of normative propositions to deontic logic viewed as a logic of imperatives. Section 10.3 deals with the problem of contrary-to-du...
متن کاملIntroducing Exclusion Logic as a Deontic Logic
This paper introduces Exclusion Logic a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.
متن کاملA Deontic Logic for Socially Optimal Norms
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between coalitionally optimal and socially optimal choices. Norms are seen as social constructions that enable to enforce socially desirable outcomes. aThis paper has been presented at the Ninth International Workshop on Deon...
متن کاملA dynamic deontic logic for complex contracts
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concepts that our contract logic CL captures are drawn from legal contracts, as we consider that these are more general and expressive than what is usually found in computer science (like in software contracts, web services specifications, or communication protocols). CL is intended to be used in specif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 2009
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/jzp050